Honouring the dead

Colloquium and Workshop Honouring

s Andreas Abel: Normalization by Evaluation for Martin-Löf Type Theory The decidability of equality is proved for Martin-Löf type theory with a universe à la Russell and typed βη-equality judgements. A corollary of this result is that the constructor for dependent function types is injective, a property which is crucial for establishing the correctness of the type-checking algorithm. The decisi...

Jehovah's Witnesses and autonomy: honouring the refusal of blood transfusions.

This paper explores the scriptural and theological reasons given by Jehovah's Witnesses (JWs) to refuse blood transfusions. Julian Savulescu and Richard W Momeyer argue that informed consent should be based on rational beliefs and that the refusal of blood transfusions by JWs is irrational, but after examining the reasons given by JWs, I challenge the claim that JW beliefs are irrational. I als...

Honouring Sir Stewart and his Work.

Honouring social accountability: a moral responsibility of the medical profession.

Honouring our past and shaping our future.

One of my favourite things to do is to ask Canadians to tell the story of how they came to be in this country. Are your ancestors First Nations or Inuit or Metis, the original people of the land? Did your forebears come here for love? For money? To escape religious persecution? Did they come looking for a better future, not for themselves, but for their children? I was born in Winnipeg, Man, an...